TAGs: algebra adding